Usc - Cs - 94 - 579
نویسندگان
چکیده
We develop a new method to rank the degree of similarity between Boolean expressions, contrast it with other known methods, and describe its implementation. Our method reduces time and space complexity from exponential to polynomial in the number of Boolean terms.
منابع مشابه
تاثیر نوع سوخت بر کارآیی فرمولاسیون های پیروتکنیک شامل مواد اشک آور CRو CS
Abstract Aerosolization of tear agents using pyrotechnic formulation containing fuel, oxidant, coolant and binder was investigated. In this study, various tablets including different amounts of potassium chlorate (as oxidizer), lactose or sucrose (as fuel), silica and aluminium oxide (as coolant), nitrocellulose, castor oil and ethyl acetate mixture (as binding system) together with terphtalic ...
متن کاملCS 700 : Computational Mechanism Design
[IMD] Introduction to mechanism design (for computer scientists), by N. Nisan. In N. Nisan, T. Roughgarden, E. Tardos, and V. Vazirani, editors, Algorithmic Game Theory, chapter 9. Cambridge University Press, 2007. [CAs] Combinatorial Auctions, by L. Blumrosen and N. Nisan. In N. Nisan, T. Roughgarden, E. Tardos, and V. Vazirani, editors, Algorithmic Game Theory, chapter 11. Cambridge Universit...
متن کاملSearching Information Servers Based on Customized Pro lesTechnical Report USC - CS - 96 - 636
We investigate the eeect of using customized prooles to help searching relevant servers in Internet. Our experiments demonstrate that the use of customized prooles with latent semantic indexing (LSI) technique can improve the performance of Internet searching.
متن کاملAsymptotic Resource Consumption in Multicast Reservation Styles Usc{cs{94{586 Asymptotic Resource Consumption in Multicast Reservation Styles
The goal of network design is to meet the needs of resident applications in an eecient manner. Adding real-time service and point-to-multipoint multicast routing to the In-ternet's traditional point-to-point best eeort service model will greatly increase the Internet's eeciency in handling point-to-multipoint real-time applications. Recently, the RSVP resource reservation protocol has introduce...
متن کاملSingle-shot Look Locker T1 mapping with golden angle radial sampling for free-breathing liver DCE-MRI in rats at 1.5 T
Fig. 3 IR-TSE LLRGC 10° LLRGC 8° LLRGC 6° LLRGC 4° 172 148 (25) 142 (32) 133 (41) 128 (51) 387 394 (20) 390 (28) 387 (36) 388 (46) 638 574 (49) 579 (48) 579 (47) 585 (55) 960 890 (49) 903 (50) 925 (55) 936 (73) 1344 1311 (94) 1326 (96) 1345 (105) 1355 (152) 1835 1694 (177) 1714 (188) 1732 (198) 1727 (242) Mean (stddev) phantom T1 values [ms] Single-shot Look Locker T1 mapping with golden angle ...
متن کامل